University of California

Results: 42965



#Item
11Computing / Software bugs / Software engineering / Data types / Computer memory / Primitive types / C standard library / Memory safety / Stack buffer overflow / Pointer / Dangling pointer / Buffer overflow

SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University

Add to Reading List

Source URL: people.eecs.berkeley.edu

Language: English - Date: 2013-03-11 01:57:58
12Artificial neural networks / Applied mathematics / Cybernetics / Mathematics / Deep learning / CIFAR-10 / MNIST database / Rectifier / Softmax function / Feedforward neural network / Gradient descent / Activation function

Towards Evaluating the Robustness of Neural Networks Nicholas Carlini David Wagner University of California, Berkeley A BSTRACT

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-04-03 16:02:30
13Software / Computing / Web browsers / Computer network security / Mozilla / Social engineering / Portable software / Phishing / Firefox / Microsoft SmartScreen / Mozilla Corporation / Google Chrome

Alice in Warningland: A Large-Scale Field Study of Browser Security Warning Effectiveness Devdatta Akhawe, University of California, Berkeley; Adrienne Porter Felt, Google, Inc. This paper is included in the Proceedings

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2013-09-28 11:40:42
14Cache / Computing / Web development / Information and communications technology / Computer networking / Computer architecture / Web cache / Web performance / Proxy server / World Wide Web / Google PageSpeed Tools / Web server

Caching Doesn’t Improve Mobile Web Performance (Much) Jamshed Vesuna and Colin Scott, University of California, Berkeley; Michael Buettner and Michael Piatek, Google; Arvind Krishnamurthy, University of Washington; Sco

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2016-06-22 03:22:39
15Computing / Flow control / Network architecture / Network protocols / TCP congestion control / Data transmission / Network performance / Transmission Control Protocol / Packet loss / TCP window scale option / CUBIC TCP / Transport layer

Recursively Cautious Congestion Control Radhika Mittal, Justine Sherry, and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley and International Computer Science Insti

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2016-02-19 17:51:14
16Software development / Aspect-oriented software development / Aspect-oriented programming / Formal methods / Logic in computer science / Runtime verification / Pointcut / Formal verification / Join point / Instrumentation

A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2012-12-17 05:23:36
17Cryptography / Computing / Computer security / Cybercrime / Password / Security / Challengeresponse authentication / Secure Shell / Passphrase / Telnet / Computer keyboard / Typing

Timing Analysis of Keystrokes and Timing Attacks on SSH Dawn Xiaodong Song David Wagner University of California, Berkeley Xuqing Tian

Add to Reading List

Source URL: people.eecs.berkeley.edu

Language: English - Date: 2015-01-21 19:48:40
18Graph theory / Planar graphs / Graph operations / Line graph / Graph / Dual graph / Steinitz's theorem / Topology / Vertex / Neighbourhood / Connectivity / Cycle

Automatic 3D Mesh Generation from a Single Hand-Drawn Sketch Nishant Shukla University of California, Los Angeles CS 268: Final Project

Add to Reading List

Source URL: shukla.io

Language: English - Date: 2017-05-18 12:57:06
19Cryptography / Cryptocurrencies / Alternative currencies / Bitcoin / Digital currencies / Public-key cryptography / Mihir Bellare / SUF / RSA

UNIVERSITY OF CALIFORNIA, SAN DIEGO Flexible Models for Secure Systems A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in

Add to Reading List

Source URL: smeiklej.com

Language: English - Date: 2018-10-23 14:58:02
20Theoretical computer science / Logic in computer science / Logic programming / Mathematics / Mathematical logic / Fluent / Situation calculus / Event calculus / Utility / Artificial neural network / Robotics / Robot

Learning Human Utility from Video Demonstrations for Deductive Planning in Robotics Nishant Shukla, Yunzhong He, Frank Chen, and Song-Chun Zhu Center for Vision, Cognition, Learning, and Autonomy University of California

Add to Reading List

Source URL: shukla.io

Language: English - Date: 2017-10-15 18:03:50
UPDATE